{% extends 'base.html' %} {% block header %}

Výsledek porovnání

{% endblock %} {% block content %}

Celkový výsledek: {% if ok %} správné řešení. {% else %} nesprávné řešení. {% endif %}


{% if alphabets != "" %}{{ alphabets }}

{% endif %} {% if task_solved == "" %} Odpověď splňuje požadavky kladené na formalismus. {% else %} Odpověď nesplňuje požadavky kladené na formalismus. {{ task_solved }} {% endif %}
{% if extra_word_ce or missing_word_ce or alphabets != "" %} Jazyky popisované oběma formalismy nejsou ekvivalentní. {% else %} Jazyky popisované oběma formalismy jsou ekvivalentní. {% endif %}

Charakteristika: {{ teacher.sizename }}

Příklad slova z jazyka: {{ teacher.example }}

Původní popis:
{{ teacher_type_string }}: {{ teacher.string }}

Popis pomocí minimálního DFA:
{{ teacher.minimal }}

Charakteristika: {{ student.sizename }}

Příklad slova z jazyka: {{ student.example }}

Původní popis:
{{ student_type_string }}: {{ student.string }}

Popis pomocí minimálního DFA:
{{ student.minimal }}

















Porovnání jazyků

{% if img_src %} {{ img_src }}
{% endif %} {% if not ok and (extra_word_ce or missing_word_ce) %} {% if extra_word_ce %} Příklad slova, které je ve studentově řešení a není v zadaném jazyce: {{ extra_word_ce }} {% else %} Studentovo řešení je podmnožinou zadaného jazyka. {% endif %}
{% if missing_word_ce %} Příklad slova, které chybí ve studentově řešení a je v zadaném jazyce: {{ missing_word_ce }} {% else %} Studentovo řešení je nadmnožinou zadaného jazyka. {% endif %}
{% if inf %}Rozdíl porovnávaných jazyků je nekonečný. {% else %}Rozdíl porovnávaných jazyků je konečný. {% endif %} {% else %} {% if ok %} Jazyky jsou ekvivalentní. {% endif %} {% endif %}

{% if langs[0] %} {% if langs[1] %} {% if langs[2] %} {% if langs[3] %} {% endif %} {% endif %} {% endif %}
JazykCharakteristikaSlovo z jazykaAutomat
0 {{ langs[0].sizename }} {{ langs[0].example }}
1 {{ langs[1].sizename }} {{ langs[1].example }}
2 {{ langs[2].sizename }} {{ langs[2].example }}
3 {{ langs[3].sizename }} {{ langs[3].example }}
{% endif %}





{% include "genodp.html" %} {% endblock %}